german.dtx

---